30 research outputs found

    DeLP viewer: a defeasible logic programming visualization tool

    Get PDF
    Defeasible Logic Programming (DeLP) is a knowledge representation formalism that combines results from Logic Programming and Defeasible Argumentation to provide reasoning based on contradictory and potentially incomplete information. DeLP allows information representation by using weak rules and provides an argumentation inference mechanism for warranting the entailed conclusions. It is necessary to comprehend the relationships between the arguments involved in DeLP derivation to understand the reasoning process and justify the replies provided by the DeLP system. In order to reach such a degree of understanding we present DeLP Viewer, a DeLP visualization tool for representing the inference process performed by a DeLP reasoner. Albeit there are many applications designed for argumentation visualization, our proposal provides a visual representation for the underlying logic and argumentative structure behind DeLP, allowing the interactive exploration of the entire reasoning process plus the internals of the involved arguments.Presentado en el VII Workshop Computaci贸n Gr谩fica, Im谩genes y Visualizaci贸n (WCGIV)Red de Universidades con Carreras en Inform谩tica (RedUNCI

    Visualizaci贸n de Ontolog铆as

    Get PDF
    Las ontolog铆as constituyen bases de conocimiento estructuradas en las cuales se modelan conceptos conjuntamente con sus caracter铆sticas (atributos) y relaciones. Son una especificaci贸n formal de contenido (sem谩ntica), un conjunto de conceptos que puede ser utilizado por agentes para dialogar en un lenguaje com煤n ya que modelan un determinado dominio de manera rigurosa. Para la manipulaci贸n de dichas ontolog铆as se hace preciso el desarrollo de herramientas visuales. La complejidad que pueden alcanzar ontolog铆as con cientos o miles de conceptos y relaciones hace necesaria la provisi贸n de recursos que permitan afrontar al usuario el tratamiento de objetos de tama帽a complejidad. Dichas herramientas no s贸lo deber铆an permitir obtener vistas 煤tiles de la ontolog铆a sobre la que se trabaja sino que tambi茅n deber铆an facilitar su manipulaci贸n y validaci贸n. El trabajo propuesto persigue como objetivo principal el desarrollo de herramientas para visualizar ontolog铆as utilizando como modelo de referencia a los grafos.Eje: OtrosRed de Universidades con Carreras en Inform谩tica (RedUNCI

    Interacciones sobre grafos mediante dispositivos no convencionales

    Get PDF
    Las interacciones en Visualizaci贸n se constituyen en una necesidad esencial al permitir al usuario adaptar la representaci贸n visual a sus necesidades y ser el medio por el cual se explora el espacio de informaci贸n subyacente. La posibilidad de hacerlo mediante dispositivos no convencionales abre un nuevo campo de desarrollo al ofrecer un abanico m谩s amplio de posibilidades. Sin embargo a煤n no existe una teor铆a de base consensuada a partir de la cual describir los procesos involucrados en la transformaci贸n que sufren los datos a lo largo del pipeline de visualizaci贸n. Desde el punto de vista de las interacciones tampoco se cuenta con una clasificaci贸n que permita plantearlas desde una 贸ptica unificada. El objetivo de este trabajo es contribuir al desarrollo de una teor铆a de base en Visualizaci贸n de Grafos en el marco de la cual clasificar y definir las interacciones m谩s representativas del 谩rea y consecuentemente sentar las bases para lograr el desarrollo sistem谩tico de herramientas de visualizaci贸n interactivas usando dispositivos no convencionales. Para ello se plantea una taxonom铆a de interacciones sobre grafos, se ubica cada categor铆a en el contexto de un modelo de referencia y se analizan los aspectos m谩s relevantes a la hora de dise帽ar visualizaciones utilizando dispositivos no convencionales.Interactions in Visualization become an essential need because they enable the user to adapt the visual representation to their own needs, allowing him/her to explore the space of underlying information. Using non-conventional devices to do this reveals a new field of development opening a wider fan of possibilities. Nevertheless, it does not exist an agreed base theory from which to describe the processes involved in the data transformation of the visualization pipeline. From the interactions point of view, a classification does not exist that allows to present them from a unified optics. The objective of this work is to contribute to develop a Graph Visualization base theory in order to classify and define the most representative interactions of the area and consequently to lay the foundations to reach a systematic development of interactive visualization tools using non conventional devices. Then we propose a taxonomy of interactions over graphs, each category is put in the reference model context and the most relevant aspects to design visualization using non conventional devices are analyzed.IV Workshop de Computaci贸n Gr谩fica, Im谩genes y Visualizaci贸n (WCGIV)Red de Universidades con Carreras en Inform谩tica (RedUNCI

    Formalizaci贸n del proceso de visualizaci贸n mediante el uso de ontolog铆as

    Get PDF
    La Visualizaci贸n como 谩rea se encuentra en un estado en el cual existe un consenso parcial acerca de sus principales conceptos. Numerosos modelos de referencia han ido delineando con el tiempo los principales aspectos que deben ser tenidos en cuenta a la hora de dise帽ar herramientas de visualizaci贸n. Sin embargo, a煤n no se ha alcanzado un estado de madurez suficiente en el 谩rea y el establecimiento de un vocabulario formal com煤n a煤n sigue siendo un objetivo pendiente. En este sentido, proponemos la formalizaci贸n de un modelo de referencia particular (el Modelo Unificado de Visualizaci贸n) mediante la definici贸n de una Ontolog铆a de Visualizaci贸n. Dicha ontolog铆a constituye el paso necesario para establecer el vocabulario formal tan anhelado para el 谩rea, al tiempo que resulta el elemento esencial para el logro de un objetivo de mayor nivel: la construcci贸n de una plataforma de visualizaci贸n que permita explotar la sem谩ntica de los datos y del proceso de visualizaci贸n para conducir al usuario en el dise帽o de herramientas de visualizaci贸n m谩s efectivas.Eje: Computaci贸n gr谩fica, im谩genes y visualizaci贸nRed de Universidades con Carreras en Inform谩tica (RedUNCI

    Visualizaci贸n de Ontolog铆as

    Get PDF
    Las ontolog铆as constituyen bases de conocimiento estructuradas en las cuales se modelan conceptos conjuntamente con sus caracter铆sticas (atributos) y relaciones. Son una especificaci贸n formal de contenido (sem谩ntica), un conjunto de conceptos que puede ser utilizado por agentes para dialogar en un lenguaje com煤n ya que modelan un determinado dominio de manera rigurosa. Para la manipulaci贸n de dichas ontolog铆as se hace preciso el desarrollo de herramientas visuales. La complejidad que pueden alcanzar ontolog铆as con cientos o miles de conceptos y relaciones hace necesaria la provisi贸n de recursos que permitan afrontar al usuario el tratamiento de objetos de tama帽a complejidad. Dichas herramientas no s贸lo deber铆an permitir obtener vistas 煤tiles de la ontolog铆a sobre la que se trabaja sino que tambi茅n deber铆an facilitar su manipulaci贸n y validaci贸n. El trabajo propuesto persigue como objetivo principal el desarrollo de herramientas para visualizar ontolog铆as utilizando como modelo de referencia a los grafos.Eje: OtrosRed de Universidades con Carreras en Inform谩tica (RedUNCI

    Desaf铆os en el camino desde el Modelo Unificado Visualizaci贸n hasta la construcci贸n de visualizaciones

    Get PDF
    La visualizaci贸n constituye un 谩rea de investigaci贸n y desarrollo en la cual conviven una gran cantidad de t茅cnicas heterog茅neas. Dicha heterogeneidad se origina en la diversidad de necesidades del usuario, dominios de aplicaci贸n y conjuntos de datos. A煤n as铆, muchos aspectos son compartidos. Este trabajo plantea la necesidad de identificar los aspectos comunes e integrarlos en un marco de desarrollo que permita a los usuarios, dise帽adores y al software dialogar empleando un mismo conjunto de conceptos. Para ello, nuestra propuesta toma las definiciones de un modelo te贸rico de referencia y propone instanciarlas para concretar su implementaci贸n como componentes de software.Eje: Computaci贸n Gr谩fica, Visualizaci贸n e Im谩genesRed de Universidades con Carreras en Inform谩tica (RedUNCI

    Formalizaci贸n del proceso de visualizaci贸n mediante el uso de ontolog铆as

    Get PDF
    La Visualizaci贸n como 谩rea se encuentra en un estado en el cual existe un consenso parcial acerca de sus principales conceptos. Numerosos modelos de referencia han ido delineando con el tiempo los principales aspectos que deben ser tenidos en cuenta a la hora de dise帽ar herramientas de visualizaci贸n. Sin embargo, a煤n no se ha alcanzado un estado de madurez suficiente en el 谩rea y el establecimiento de un vocabulario formal com煤n a煤n sigue siendo un objetivo pendiente. En este sentido, proponemos la formalizaci贸n de un modelo de referencia particular (el Modelo Unificado de Visualizaci贸n) mediante la definici贸n de una Ontolog铆a de Visualizaci贸n. Dicha ontolog铆a constituye el paso necesario para establecer el vocabulario formal tan anhelado para el 谩rea, al tiempo que resulta el elemento esencial para el logro de un objetivo de mayor nivel: la construcci贸n de una plataforma de visualizaci贸n que permita explotar la sem谩ntica de los datos y del proceso de visualizaci贸n para conducir al usuario en el dise帽o de herramientas de visualizaci贸n m谩s efectivas.Eje: Computaci贸n gr谩fica, im谩genes y visualizaci贸nRed de Universidades con Carreras en Inform谩tica (RedUNCI

    Visualizaci贸n de grafos en el contexto del modelo unificado de visualizaci贸n

    Get PDF
    Los grafos constituyen un formalismo muy vers谩til en el modelado y la representaci贸n de diversos dominios de aplicaci贸n. La visualizaci贸n de los mismos es un 谩rea de gran actividad dentro de la Visualizaci贸n de Informaci贸n. Dada la heterogeneidad de dominios en los que se los utiliza, la identificaci贸n de caracter铆sticas comunes a dichos dominios sumada a problemas propios del manejo de grandes vol煤menes de informaci贸n hace que su abordaje constituya un desaf铆o. En este escenario, el planteo de modelos de referencia que unifiquen estos aspectos, como el Modelo Unificado de Visualizaci贸n, permiten factorizar caracter铆sticas comunes y ubicarlas en un marco que posibilite su estudio y aplicaci贸n de una manera m谩s efectiva en las visualizaciones. El presente trabajo tiene como objetivo principal evaluar la aplicabilidad de dicho modelo a una situaci贸n concreta as铆 como identificar operadores y operandos propios del 谩rea de Visualizaci贸n de Grafos de manera de contribuir con la validaci贸n del Modelo Unificado de Visualizaci贸n. Para ello se implement贸 un prototipo de herramienta de visualizaci贸n de grafos.III Workshop de Computaci贸n Gr谩fica, Im谩genes y Visualizaci贸n (WCGIV)Red de Universidades con Carreras en Inform谩tica (RedUNCI

    Ontolog铆as de Visualizaci贸n

    Get PDF
    La Visualizaci贸n de Informaci贸n ha alcanzado un estado de desarrollo en el cu谩l se han identificado los componentes y procesos esenciales y comunes a toda Visualizaci贸n. En este contexto se han planteado muchos modelos de referencia para contribuir al desarrollo m谩s sistem谩tico de las herramientas del 谩rea. La incorporaci贸n de una sem谩ntica bien definida en el proceso de Visualizaci贸n, permitir铆a formalizarlo estableciendo un vocabulario com煤n en el cu谩l los usuarios planteen sus requerimientos y los dise帽adores de herramientas de visualizaci贸n puedan expresar las transformaciones de los datos desde su obtenci贸n hasta la obtenci贸n la vista, las operaciones que deben proveerse y las formas de interacci贸n posibles entre los usuarios y la visualizaci贸n. La incorporaci贸n de informaci贸n acerca del propio proceso de Visualizaci贸n en las herramientas permitir铆a, adem谩s, lograr una asistencia al usuario m谩s efectiva durante la construcci贸n de la representaci贸n visual. Para dotar de sem谩ntica al proceso de visualizaci贸n se hace necesario incorporar ontolog铆as. En este trabajo se propone la construcci贸n de una ontolog铆a de visualizaci贸n que contribuya a definir formalmente los conceptos que conforman la teor铆a de base, que provea un vocabulario com煤n y bien definido para el desarrollo de visualizaciones y que haga posible al software utilizar sus conceptos y relaciones para asistir al usuario durante el proceso de construcci贸n de la representaci贸n visual.Eje: Computaci贸n Gr谩fica, Visualizaci贸n e Im谩genesRed de Universidades con Carreras en Inform谩tica (RedUNCI

    Ontolog铆as de Visualizaci贸n

    Get PDF
    La Visualizaci贸n de Informaci贸n ha alcanzado un estado de desarrollo en el cu谩l se han identificado los componentes y procesos esenciales y comunes a toda Visualizaci贸n. En este contexto se han planteado muchos modelos de referencia para contribuir al desarrollo m谩s sistem谩tico de las herramientas del 谩rea. La incorporaci贸n de una sem谩ntica bien definida en el proceso de Visualizaci贸n, permitir铆a formalizarlo estableciendo un vocabulario com煤n en el cu谩l los usuarios planteen sus requerimientos y los dise帽adores de herramientas de visualizaci贸n puedan expresar las transformaciones de los datos desde su obtenci贸n hasta la obtenci贸n la vista, las operaciones que deben proveerse y las formas de interacci贸n posibles entre los usuarios y la visualizaci贸n. La incorporaci贸n de informaci贸n acerca del propio proceso de Visualizaci贸n en las herramientas permitir铆a, adem谩s, lograr una asistencia al usuario m谩s efectiva durante la construcci贸n de la representaci贸n visual. Para dotar de sem谩ntica al proceso de visualizaci贸n se hace necesario incorporar ontolog铆as. En este trabajo se propone la construcci贸n de una ontolog铆a de visualizaci贸n que contribuya a definir formalmente los conceptos que conforman la teor铆a de base, que provea un vocabulario com煤n y bien definido para el desarrollo de visualizaciones y que haga posible al software utilizar sus conceptos y relaciones para asistir al usuario durante el proceso de construcci贸n de la representaci贸n visual.Eje: Computaci贸n Gr谩fica, Visualizaci贸n e Im谩genesRed de Universidades con Carreras en Inform谩tica (RedUNCI
    corecore